9481. quantum cryptography :-Post
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
9482. 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing :
پدیدآورنده : editors Andrzej Goscinski, Michael Hobbs, Wanlei Zhou ; sponsors Dekin University, Faculty of Science and Technology Deakin University, IEEE Victorian Section.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I528
1997
9483. 3rd interanational conference on algorithms and architectures for parallel processing :ICAPP ;Melbourne ,Austeralia ;December 10-12,1997
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer architecture -congresses,، Computr algorithms -congresses,، Parallel processing)electronic computer(
9484. soft computing :-New directions in rough sets, data mining, and granular
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses ; Fuzzy sets ; Congresses ; Data mining ; Congresses ; Soft computing ; Congresses ;
9485. 31st Iranian mathematics conference, 27-30 August, 2000: proceedings
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Mathematics
رده :
QA
1
.
I7
2000
9486. summer /--Computer and information science 2021
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
9487. superconducting Electronics
پدیدآورنده : Edited by Harold weinstack martin nisenoffo
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Superconductors - congresses
رده :
TK
7872
.
S8
,
N23
9488. t. 1. Armi� a︡nskai� a︡ rukopisnai� a︡ kniga VI-XIV vekov 20
پدیدآورنده : [sostaviteli i avtory teksta V.O. Kazari� a︡n, S.S. Manuki� a︡n].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
9489. t. 1. Vie et oeuvre -- t. 2. Ce qu'il faut aux bons croyants = Kifâyat ar-râġibîn -- t. 3. Réduction au
پدیدآورنده : par Ravane Mbaye ; préface, Iba Der Thiam.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
9490. 12th Australasian Database Conference )ADC 2001(: proceedings: January 29-February 1, 2001, Gold Coast, Queensland, Australia
پدیدآورنده : edited by Maria E. Orlowska, John F. Roddick; sponsored by Bond University...]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Database management
رده :
QA
76
.
9
.
D3
A948
9491. 11th Chaotic Modeling and Simulation International Conference /
پدیدآورنده : Christos H. Skiadas, Ihor Lubashevsky, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chaotic behavior in systems-- Mathematical models, Congresses.,Chaotic behavior in systems-- Mathematical models.
رده :
Q172
.
5
.
C45
C4265
2018
9492. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
9493. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
9494. 5th Conference on Optimization Techniques
پدیدآورنده : Edited by R. Conti and A. Ruberti
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Mathematical optimization,Congresses ، System analysis,Congresses ، Control theory
رده :
QA
402
.
I14
1973
9495. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings
پدیدآورنده : sponsored by Oregon Center for Advanced Technology Education...]et al[, supported by School of Engineering and Applied Science, Portland State University...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Many-valued logic,Congresses ، Switching theory
رده :
QA
9
.
45
.
I58
2000
9496. 9th International Conference on Automated Deduction :
پدیدآورنده : E. Lusk, R. Overbeek (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
رده :
QA76
.
9
.
A96
I57
1988
9497. 8th International Conference on Automated Deduction
پدیدآورنده : edited by Jپ rg H. Siekmann
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96
,
I57
1986
9498. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
9499. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I57
1988
9500. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
پدیدآورنده : E. Lusk, R. Overbeek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
310
